$\forall$$r$:CRng, $a$:Ideal($r$)\{i\}, $d$:detach\_fun($\mid$$r$$\mid$;$a$). EquivRel($\mid$$r$$\mid$;$u$,$v$.$\uparrow$($d$($u$ +$r$ ({-}$r$($v$)))))